precise proof

См. также в других словарях:

• Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… …   Wikipedia

• Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of …   Wikipedia

• Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …   Wikipedia

• Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… …   Wikipedia

• clear evidence or proof — Evidence which is positive, precise and explicit, which tends directly to establish the point to which it is adduced and is sufficient to make out a prima facie case. It necessarily means a clear preponderance. It may mean no more than a fair… …   Black's law dictionary

• clear evidence or proof — Evidence which is positive, precise and explicit, which tends directly to establish the point to which it is adduced and is sufficient to make out a prima facie case. It necessarily means a clear preponderance. It may mean no more than a fair… …   Black's law dictionary

• Japanese nuclear weapons program — Lise Meitner and Otto Hahn discovered nuclear fission in December 1938. Physicists around the world immediately noticed that chain reactions could be produced and notified their governments of the possibility of developing nuclear weapons. The… …   Wikipedia

• Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT …   Encyclopedia of Judaism

• biblical literature — Introduction       four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha.       The Old… …   Universalium